Total extensions: 4,913